Model engineering - PDFSEARCH.IO - Document Search Engine

Model engineering
Results: 11341

#	Item
521	Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering Add to Reading List Source URL: www.utc.ices.cmu.edu Language: English - Date: 2014-10-10 12:15:04 Unified Modeling Language Model-driven architecture Object Management Group Modeling language KeY Hybrid system Model checking Metamodeling Systems Modeling Language Object Process Methodology Formal verification Hybrid automaton
522	FLYING QUALITIES CONSTRAINTS IN THE MULTIDISCIPLINARY DESIGN OPTIMIZATION OF A SUPERSONIC TAILLESS LONG RANGE AIRCRAFT Craig C. Morris, Graduate Research Assistant Add to Reading List Source URL: www.vsgc.odu.edu Language: English - Date: 2013-05-02 13:43:40 Mathematical optimization Aerodynamics Aerospace engineering Engineering Multidisciplinary design optimization Stabilizer Tailless aircraft Stability Aircraft Control theory Model aircraft Flight dynamics
523	A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-11 10:23:46 Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification
524	Jens Kolb et al. (Eds.): Enterprise Modelling and Information Systems Architectures, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnThe Process Model Matching Contest 2015 Goncalo Antune Add to Reading List Source URL: ai.wu.ac.at Language: English - Date: 2015-08-05 03:35:29 Semantic Web Information science Knowledge engineering Knowledge representation Ontology Ontology alignment Conceptual model Modeling language Entityrelationship model Process modeling Schema matching
525	Restoration Coordination and Verification (RECOVER) Add to Reading List Source URL: 141.232.10.32 Language: English - Date: 2015-03-12 09:11:40 Environmental engineering Environmental science Aquatic ecology Hydraulic engineering Physical geography Everglades Hydrology Environmental flow GMS Scientific modelling Business process modeling Groundwater model
526	Proc. Biennial Symp. Commun. (Kingston, ON), pp, JuneNoise Suppression using a Perceptual Model for Wideband Speech Signals Joachim Thiemann∗ and Peter Kabal Electrical & Computer Engineering McGill Uni Add to Reading List Source URL: www.mp3-tech.org Language: English - Date: 2009-06-28 10:58:24 Signal processing Noise Window function Signal-to-noise ratio Noise reduction Bandwidth Frequency modulation Auditory masking
527	DCMMSData Model (Database Level) Copyright © DORSCH Consult, NGWA Copyright © DC Water and Environment DCMMS Landmark Add to Reading List Source URL: dcmms.sourceforge.net. Language: English - Date: 2009-02-25 15:11:29 Piping Plumbing Bathrooms Building engineering Type theory Pipe DN Piping and plumbing fitting Type conversion Subtyping
528	Cognitive Process Designer - An Open-Source Tool to Capture Processes according to the Linked Data Principles Demo Paper Tobias Weller and Maria Maleshkova Institute for Applied Informatics and Formal Description Methods Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-07-08 19:51:50 Workflow technology Business process modelling Diagrams Knowledge engineering ISO standards Business Process Model and Notation Business process management Modeling language Ontology Semantic Web Semantic MediaWiki Comparison of Business Process Modeling Notation tools
529	A Component Model for On-board Software Applications Marco Panunzio and Tullio Vardanega Dept. of Pure and Applied Mathematics, University of Padova, Italy {panunzio, tullio.vardanega}@math.unipd.it Abstract Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2010-05-26 14:37:38 Software architecture Systems engineering Component-based software engineering Object-oriented programming Code reuse Software development Software design Functional requirement Software Robotics middleware Aspect-oriented software development
530	Integrated water Management Model for the Determination of the Difference between Fully and Overappropriated Water: Science, Practice, and Policy 2012 Lincoln, Nebraska November 13, 2012 Add to Reading List Source URL: watercenter.unl.edu Language: English - Date: 2012-11-09 16:06:50 Hydrology Hydraulic engineering Hydrogeology Aquifer

UPDATE